#include <stdio.h>
#include <time.h>
#include <stdlib.h>

int main()
{
    unsigned long long X64 = 0;
    srand ((unsigned) time (NULL));
    X64 = rand();
    printf ("%llx\n", X64);
    int x = rand();
    printf ("%x\n", x);
    X64 |= (X64 << 32) | x;

    printf ("%llx\n", X64);

    return 0;
}
